#Constants
identifier sink => 20

#Event Types
#We use blocks here
Type send do
nodeid is integer subset [0,255] => error
destination is integer => warning
origin is integer subset [0,255] => error
seqNo is integer periodic [0,255] => error
ack is integer subset [0,1] => warning
end

constraint send iff(nodeid==40) do
destination is integer subset [29,41,42]=> warning
end

constraint meas do
syncdiff is integer periodic [0,255] => warning("sync-diff out of typical range")
end